char_t;1200;